{ x = 0 } with x = 1 : T
